Wrapping a real-time operating system with an OSEK compliant interface - a feasibility study

نویسندگان

  • Joachim Denil
  • Serge Demeyer
  • Paul De Meulenaere
  • Kris Vanstechelman
  • Kurt Maudens
چکیده

The drive towards standardization in the automotive sector puts a lot of pressure on software suppliers to comply with standards such as OSEK and AUTOSAR. However, many of these suppliers have a vested interest in proprietary software and are seeking ways to migrate their existing code-base to comply to these standards. This paper reports on a feasibility study to wrap a proprietary real-time operating system with an OSEK compliant interface. Besides investigating whether this is feasible, we also assess the performance impact in terms of computation time and memory consumption, as this is critically important for real-time systems. As such, we evaluate the typical trade-offs one has to make when adopting an incremental migration strategy towards a standard compliant interface.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Analysis of Osek/vdx Based Automotive Applications

The aim of this article is to show, how an automotive real-time software application running under real-time operating system compliant with OSEK/VDX standard can be modelled by timed automata. The application under consideration consists of several basic or extended tasks, it includes resource sharing and synchronisation by events. For such system, model checking theory based on timed automata...

متن کامل

Formal Verification of Osek/vdx Based Applications

This article shows, how a preemptive multitasking application running under a real-time operating system compliant with OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several tasks, it includes synchronization by events and resource sharing. For such system, model-checking theory based on timed automata and implemented in model-checking tools...

متن کامل

Efficient EDF Implementation for Small Embedded Systems

Modern embedded systems are often required to execute under stringent real-time constraints to satisfy high performance requirements. When the available computational resources are scarce, an efficient implementation of the scheduler is of crucial importance for containing system costs. In this paper, we present an efficient implementation of the Earliest Deadline First (EDF) scheduler, which i...

متن کامل

Issues in Mapping from UML Real-Time Profile to OSEK API

UML Profile for Schedulability, Performance and Time is designed to add standard real-time extensions to UML in order to facilitate real-time analysis capabilities, such as rate monotonic analysis, based on the profile. In this paper we explore issues involved in generating code for the OSEK API, which is a popular realtime operating systems standard in the automotive industry.

متن کامل

Timed Automata Model of Preemptive Multitasking Applications

The aim of this article is to show, how a multitasking application running under a real-time operating system compliant with the OSEK/VDX standard can be modeled by timed automata. The application under consideration consists of several tasks, it includes resource sharing and synchronization by events. For such system, model-checking theory based on timed automata and implemented in model-check...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009